Global renaming operators in concrete process algebra
نویسندگان
چکیده
منابع مشابه
Gorenstein global dimensions for Hopf algebra actions
Let $H$ be a Hopf algebra and $A$ an $H$-bimodule algebra. In this paper, we investigate Gorenstein global dimensions for Hopf algebras and twisted smash product algebras $Astar H$. Results from the literature are generalized.
متن کاملRenaming Global Variables in C Mechanically Proved Correct
Most integrated development environments are shipped with refactoring tools. However, their refactoring operations are often known to be unreliable. As a consequence, developers have to test their code after applying an automatic refactoring. In this article, we consider a refactoring operation (renaming of global variables in C), and we prove that its core implementation preserves the set of p...
متن کاملBelief in Process Algebra
In this paper we present a framework to model falsehood in a system. A falsehood or lie is an intended false positive announced by a principal with an objective to deceive other principals. An utterance of lie is said to be successful if other principals believe it. The framework introduced in this paper is essentially a combination of operational model and epistemic model allowing us to expres...
متن کاملResources in process algebra
The Algebra of Communicating Shared Resources (ACSR) is a timed process algebra which extends classical process algebras with the notion of a resource. It takes the view that the timing behavior of a real-time system depends not only on delays due to process synchronization, but also on the availability of shared resources. Thus, ACSR employs resources as a basic primitive and it represents a r...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Information and Computation
سال: 1988
ISSN: 0890-5401
DOI: 10.1016/0890-5401(88)90027-2